Jonathan P. Seldin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Lambda-Calculus and Combinators, an Introduction || Answers to starred exercises

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 187 KB

2008

2

On adding (ξ) to weak equality in combinatory logic

Bunder, Martin W., Hindley, J. Roger, Seldin, Jonathan P.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 400 KB

english, 1989

3

Lambda-Calculus and Combinators, an Introduction || Simple typing, Church-style

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 161 KB

2008

4

On the proof theory of Coquand's calculus of constructions

Jonathan P. Seldin

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 4.11 MB

english, 1997

5

A Gentzen-style sequent calculus of constructions with expansion rules

Jonathan P. Seldin

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 116 KB

english, 2000

6

Set Theory based on Combinatory Logicby Maarten Wicher Visser Bunder

Review by: Jonathan P. Seldin

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 362 KB

english, 1970

7

Introduction to the CUCH.by Corrado Böhm; Wolf Gross; E. R. Caianiello;The CUCH as a Formal and Description Language.by C. Böhm; T. B. Steel,

Review by: Jonathan P. Seldin

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 127 KB

english, 1975

8

On the Role of Implication in Formal Logic

Jonathan P. Seldin

Journal:

Journal of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 577 KB

english, 2000

9

Bunder Maarten Wicher Visser. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections.

Seldin, Jonathan P.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 180 KB

english, 1970

10

Preface

DEZANI-CIANCAGLINI, MARIANGIOLA, LONGO, GIUSEPPE, SELDIN, JONATHAN P.

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 52 KB

english, 1999

11

On lists and other abstract data types in the calculus of constructions

SELDIN, JONATHAN P.

Journal:

Mathematical Structures in Computer Science

Year:

2000

Language:

english

File:

PDF, 231 KB

english, 2000

12

Ancestry inference using principal component analysis and spatial analysis: a distance-based analysis to account for population substructure

Byun, Jinyoung, Han, Younghun, Gorlov, Ivan P., Busam, Jonathan A., Seldin, Michael F., Amos, Christopher I.

Journal:

Year:

2017

Language:

english

File:

PDF, 2.21 MB

english, 2017

13

Lambda-Calculus and Combinators, an Introduction || Care of your pet combinator

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

Language:

english

File:

PDF, 99 KB

english, 2008

14

Lambda-Calculus and Combinators, an Introduction || Preface

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 87 KB

2008

15

Lambda-Calculus and Combinators, an Introduction || Simple typing, Curry-style in λ

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 208 KB

2008

16

Lambda-Calculus and Combinators, an Introduction || The formal theories λβ and CLw

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 123 KB

2008

17

Lambda-Calculus and Combinators, an Introduction || Confluence proofs

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 168 KB

2008

18

Lambda-Calculus and Combinators, an Introduction || The undecidability theorem

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 108 KB

2008

19

Lambda-Calculus and Combinators, an Introduction || Bound variables and α-conversion

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 112 KB

2008

20

Lambda-Calculus and Combinators, an Introduction || The λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 200 KB

2008

21

Lambda-Calculus and Combinators, an Introduction || Generalizations of typing

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 311 KB

2008

22

Lambda-Calculus and Combinators, an Introduction || Correspondence between λ and CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 201 KB

2008

23

Lambda-Calculus and Combinators, an Introduction || References

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 140 KB

2008

24

Lambda-Calculus and Combinators, an Introduction || Extensionality in λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 121 KB

2008

25

Lambda-Calculus and Combinators, an Introduction || Strong normalization proofs

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 165 KB

2008

26

Lambda-Calculus and Combinators, an Introduction || Simple typing, Curry-style in CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 321 KB

2008

27

Lambda-Calculus and Combinators, an Introduction || Extensionality in combinatory logic

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 145 KB

2008

28

Lambda-Calculus and Combinators, an Introduction || Representing the computable functions

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 198 KB

2008

29

Lambda-Calculus and Combinators, an Introduction || Scott's D∞ and other models

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 271 KB

2008

30

Lambda-Calculus and Combinators, an Introduction || The power of λ and combinators

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 160 KB

2008

31

Lambda-Calculus and Combinators, an Introduction || Models of λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 231 KB

2008

32

Lambda-Calculus and Combinators, an Introduction || Combinatory logic

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 153 KB

2008

33

Lambda-Calculus and Combinators, an Introduction || Models of CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 136 KB

2008

34

Association of SLC11A1 (NRAMP1) with persistent oligoarticular and polyarticular rheumatoid factor–negative juvenile idiopathic arthritis in Finnish patients: Haplotype analysis in Finnish families

Jonathan A. Runstadler, Hanna Säilä, Anneli Savolainen, Marjatta Leirisalo-Repo, Kimmo Aho, Eva Tuomilehto-Wolf, Jaakko Tuomilehto, Michael F. Seldin

Journal:

Arthritis & Rheumatism

Year:

2005

Language:

english

File:

PDF, 110 KB

english, 2005

35

Ionic requirement for epinephrine stimulation of frog skin gland secretion

Jonathan P. Seldin, T. Hoshiko

Journal:

Journal of Experimental Zoology Part A Ecological Genetics and Physiology

Year:

1966

Language:

english

File:

PDF, 376 KB

english, 1966

36

Interpreting HOL in the calculus of constructions

Jonathan P. Seldin

Journal:

Journal of Applied Logic

Year:

2004

Language:

english

File:

PDF, 232 KB

english, 2004

37

Variants of the basic calculus of constructions

M.W. Bunder, Jonathan P. Seldin

Journal:

Journal of Applied Logic

Year:

2004

Language:

english

File:

PDF, 287 KB

english, 2004

38

Coquand's calculus of constructions: A mathematical foundation for a proof development system

Jonathan P. Seldin

Journal:

Formal Aspects of Computing

Year:

1992

Language:

english

File:

PDF, 906 KB

english, 1992

39

Normalization and excluded middle. I

Jonathan P. Seldin

Journal:

Year:

1989

Language:

english

File:

PDF, 984 KB

english, 1989

40

Curry’s Formalism as Structuralism

Jonathan P. Seldin

Journal:

Logica Universalis

Year:

2011

Language:

english

File:

PDF, 166 KB

english, 2011

41

Progress report on generalized functionality

Jonathan P. Seldin

Journal:

Annals of Mathematical Logic

Year:

1979

Language:

english

File:

PDF, 972 KB

english, 1979

42

The search for a reduction in combinatory logic equivalent to -reduction

Jonathan P. Seldin

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 269 KB

english, 2011

43

A Sequent Calculus Formulation of Type Assignment with Equality Rules for the$\ambda\beta$-Calculus

Jonathan P. Seldin

Journal:

Journal of Symbolic Logic

Year:

1978

Language:

english

File:

PDF, 176 KB

english, 1978

44

A Sequent Calculus for Type Assignment

Jonathan P. Seldin

Journal:

Journal of Symbolic Logic

Year:

1977

Language:

english

File:

PDF, 361 KB

english, 1977

45

Some Anomalies in Fitch's System QD

M. W. Bunder and Jonathan P. Seldin

Journal:

Journal of Symbolic Logic

Year:

1978

Language:

english

File:

PDF, 105 KB

english, 1978

46

A Formalization of the Theory of Sets from the Point of View of Combinatory Logicby Edward J. Cogan;Uber einen Widerspruch in Cogans Darstellung der Mengenlehreby Rainer Titgemeyer

Review by: Jonathan P. Seldin

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 215 KB

english, 1970

47

Equality in F21

Jonathan P. Seldin

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 154 KB

english, 1973

48

Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem.by N. G. De Bruijn

Review by: Jonathan P. Seldin

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 81 KB

english, 1975

49

Combinatory Logic with Discriminators.by John T. Kearns

Review by: Jonathan P. Seldin

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 128 KB

english, 1973

50

[Handbook of the History of Logic] Logic from Russell to Church Volume 5 || The Logic of Church and Curry

Seldin, Jonathan P.

Year:

2009

Language:

english

File:

PDF, 400 KB

english, 2009